software reliability

See also formal methods, safety-critical system.
(ftp://ftp.sei.cmu.edu/pub/depend-sw). Mailing list: depend-sw@sei.cmu.edu.
[Summary?]